/*
 * @Author: czy
 * @Date: 2021-07-13 00:06:26
 * @LastEditTime: 2021-07-13 17:27:22
 */
#include "sys/type.h"
#include "sys/const.h"
#include "sys/system.h"

#include "../lib/state.h"

int idle_task_body(void)
{
    printk("idle task....\n");
    while (1)
        ;
    return 0;
}

void idle_task(void)
{
    processStart(1);
    schedule();
}